Proof Discovery Science